/* @group Docs **********************************/
div.doc {
	margin: 1em 2em;
	padding: 0.5em 0 0.3em;
}

/* Set line height to 1.4x (from 1.3x on general site) to allow for various inline decoration. */
div.doc p,div.doc li {
	line-height: 150% !important;
}

div.doc p {
	margin-bottom: .7em;
	margin-top: .5em;
}

div.doc p,div.doc dt,div.doc ul,div.doc ol {
	margin-left: 1.5em;
	margin-right: 1.5em;
}

div.doc ul li {
	list-style-type: disc;
	margin-left: 1em;
}

/* documentation - table of contents */
#toc { /* making the toc a bit more compact and standing out */
	font-size: .85em;
	font-weight: bold;
	margin-bottom: 2em;
	margin-left: 3em;
}

div.doc div#toc ol,div.doc ol {
	list-style-type: decimal;
}

div.doc div#toc ol li {
	line-height: 130%;
	font-weight: bold;
}

div.doc div#toc ol li ol {
	list-style-type: lower-alpha;
	font-weight: normal;
	margin-left: 1em;
}

div.doc div#toc ol li ol li ol {
	list-style-type: lower-roman;
}

/* documentation - error explanations */
dl#expl dt code { /* headings for an error */
	white-space: normal;
	font-weight: bold;
}

dl#expl dt {
	border-top: 1px dashed black;
	margin-top: 2em;
	margin-bottom: 1em;
}

div.doc dt {
	margin-top: 1.2em;
	margin-bottom: .2em;
}

div.doc dt,div.doc dt a {
	font-style: italic;
}

div.doc dd {
	margin-right: 0;
	/* no need for the extra margin if we nicely put the text of the dd in a paragraph */
}

div.doc var { /* headings for an error */
	color: #006;
}

/* A snippet of code used inline. */
div.doc code {
	white-space: normal;
	display: inline;
	padding-left: .2em;
	padding-right: .2em;
	color: black;
	font-family: Monaco, "Courier New", monospace;
	border: 1px dotted #ccc;
}

div.doc code.block {
	display: block;
	padding: 1em;
	white-space: pre;
	margin-top: 1em;
	margin-bottom: 1em;
	margin-right: 3em;
}

div.doc pre {
	margin-left: 5em;
	padding-left: 2em;
	line-height: 150%;
	border-left: 1px solid #690;
}

div.doc code samp {
	font-weight: normal;
	color: black;
	font-style: italic;
}

/* reference tables */
div.doc table {
	border-collapse: collapse;
	border-right: 1px solid #ccc;
}

div.doc table td,.doc table th {
	border-top: 0px solid #ddd;
	border-bottom: 1px solid #ccc;
	border-left: 1px solid #eee;
	padding: 6px;
	border-collapse: collapse;
}

div.doc table th {
	background-color: #eee;
	color: #11111A;
	border-right: 1px solid #ccc;
}

div.doc table {
	margin-top: 1em;
	margin-bottom: .5em;
	border-collapse: collapse;
	border-right: 1px solid #ccc;
}

div.doc td,div.doc th {
	border-top: 0px solid #ddd;
	border-bottom: 1px solid #ccc;
	border-left: 1px solid #eee;
	border-collapse: collapse;
}

div.doc th {
	background-color: #eee;
	color: #11111A;
	border-right: 1px solid #ccc;
}

/* @end */